Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
801	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne, Cristian Cadar, Paul H J Kelly Department of Computing, Imperial College London 4 November, 2010 Add to Reading List Source URL: llvm.org Language: English - Date: 2010-11-17 01:55:50 C programming language Cross-platform software Elementary mathematics C++ Sizeof SIMD C Function Array programming Computer programming Computing Software engineering
802	Communication models for services Niels Lohmann1,2 1 Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P. O. Box ,  MB Eindhoven, The Netherlands Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2010-03-25 14:33:05 Computing Business Process Execution Language Models of communication Asynchronous communication SMS Request-response Message passing Actor model and process calculi Communication Technology Behavior
803	Brain and Language 66, 7–[removed]Article ID brln[removed], available online at http://www.idealibrary.com on Wavelet Analysis of Neuroelectric Waveforms: A Conceptual Tutorial Vincent J. Samar Add to Reading List Source URL: www.affective-sciences.org Language: English - Date: 2015-02-14 16:15:28 Functional analysis Integral transforms Digital signal processing Signal processing Short-time Fourier transform Time–frequency analysis Fourier analysis Continuous wavelet Discrete wavelet transform Mathematical analysis Mathematics Wavelets
804	Group communication and the transformation of judgments: an impossibility result Christian List, LSE March[removed]April[removed]Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2010-07-09 10:33:39 Mathematical logic Philosophy of language Theories of truth Philosophical logic Proof theory Proposition Truth Judgment Deliberative democracy Logic Philosophy Mathematics
805	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
806	Medieval theories of Supposition and Mental Language Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 07:00:02 Philosophical logic Traditional logic Medieval philosophy Philosophy of mathematics Term logic Supposition theory William of Ockham Mathematical logic Syllogism Logic Philosophy Science
807	The aggregation of propositional attitudes: towards a general theory Franz Dietrich Christian List Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2009-10-26 16:24:32 Propositional calculus Mathematical logic Mental content Philosophy of language Proposition Attitude Function Belief revision Bayesian probability Logic Mathematics Philosophy of mind
808	Learning Determinantal Point Processes Alex Kulesza Dept. of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-28 17:51:57 Statistics Automatic summarization Data mining Estimation theory Function Multi-document summarization Maximum likelihood Determinantal point process Trigonometric functions Mathematics Natural language processing Science
809	Medieval theories of Supposition and Mental Language Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:46:25 Philosophical logic Traditional logic Medieval philosophy Philosophy of mathematics Term logic Supposition theory William of Ockham Mathematical logic Syllogism Logic Philosophy Science
810	Medieval theories of Supposition and Mental Language Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:34:38 Philosophical logic Traditional logic Medieval philosophy Philosophy of mathematics Term logic Supposition theory William of Ockham Mathematical logic Syllogism Logic Philosophy Science

UPDATE